Minor changes
Load kernel into higher half of the address space