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.
64a6d88e5c