Symbol: coreboot_sanitize_header