Re: [coreboot] Patch for coreboot_table.c