[coreboot-gerrit] Patch set updated for coreboot: 74eb635 Enable pages. Tested and working on QEMU.