[coreboot] Patch merged into coreboot/master: 52c1746 coreboot_table.c: Add missing include files