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