Map is still identity-mapped. I think we need to sort and/or clean up the map before using a higher half address. In-kernel vga output not working yet, but do_the_set_registers() is getting called.
Now the bootloader should be responsible for all initial setup, loading the kernel, and then handing off to the kernel with proper data in place.
