Added higher memory to page table
Moved kernel to higher half
Fixed indentation
IO now uses higher addresses