[coreboot-gerrit] Patch merged into coreboot/master: c1f7cbe arm: lpae: Set XN and PXN bits for noncacheable regions