[coreboot-gerrit] Patch merged into coreboot/master: f9ce88e device/oprom/realmode/x86.c: Fix memory leak