On the ARM Cortex-A9 that comprises part of the Zynq SoC I\'m using, regions of memory are labelled as "normal", "device" or "strongly ordered"