[coreboot] Patch for coreboot_table.c