[coreboot] Patch merged into coreboot/master: db051bf Fix missing VM mapping