ARM: Add support for Versatile Express extended  memory map

Also clean up how we create boot loader memory a bit.
9 files changed