Added some debugging messages
Updated debug statements
More debugging statements. It appears the crashes are caused by a reference to an unmapped page in high memory. Will need to change kernel configuration to confirm
Changed config to allow PTE in high memory. I hope this will match the ARM architecture better.