[coreboot-gerrit] New patch to review for coreboot: b4f1ed9 arm: lpae: Set XN and PXN bits for noncacheable regions