Symbol: coreboot_table_header