Branch to the correct address range

When the MMU has been enabled we can branch to the correct address
range.
Allow the kernel to be more relocatable

- Use 2MiB maps for the TTBR1 range
- Allocate a stack in the kernels bss