the following patch was just integrated into master: commit 56e64598a2ab414c514b45ca6184854d1a67aeb4 Author: Ionela Voinescu <ionela.voinescu@imgtec.com> Date: Thu Dec 17 19:16:01 2015 +0000 imgtec/pistachio: identity map SOC registers region This region must be mapped uncached. This is necesary for an U-boot payload which will obtain all register base addresses as physical addresses from the device tree and will use them as such. Change-Id: Ib5041df7d90c6ef61b7448a18dd732afbd9489ca Signed-off-by: Ionela Voinescu <ionela.voinescu@imgtec.com> Reviewed-on: https://review.coreboot.org/12770 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org> See https://review.coreboot.org/12770 for details. -gerrit