[coreboot-gerrit] Change in coreboot[master]: oprom/realmode/x86.c: Fix building for ENV_X86_64