[coreboot] New patch to review for coreboot: db051bf Fix missing VM mapping