Start of moving kernel into high memory
Peripherals accessed through remapped virtual address
Setting 8KB TTB0  size and minor cosmetic fixes