[coreboot] New patch to review for coreboot: 52c1746 coreboot_table.c: Add missing include files