Renamed interrupt_handlers.s as it will need to import C headers
Merge branch 'dev' of https://github.com/SimonGustavsson/PiOS into dev
Linking kernel to high memory (except for boot and init to enable the MMU)
Debug output during terminal initialization
Adding assert for printing to the uart
Sending debug output from memory allocator over uart as the allocator is initialized before the terminal.
Setting VMA of high part of kernel and removed redundant MEMORY declaration
Initializing memory allocator before the terminal and just straight up calling sysinit_stage2 because that should work now. :)
Moving paging setup and do_mmu to .text.init and setting up the stacks