[coreboot-gerrit] New patch to review for coreboot: 465242e device/oprom/realmode/x86.c: fix memory leak