[coreboot-gerrit] New patch to review for coreboot: a48e6fc device/oprom/realmode: Sanitize header inclusion