Minor debugging fixes
Merge branch 'filesystem' of https://github.com/jnwatts/xinu-arm into filesystem