[U-Boot] [PATCH 04/14] x86: Compile coreboot_table.c only for SeaBIOS