cleaned up and updated userkernel a bit
Merge branch 'master' of https://github.com/juandejoya/cs162projs
cleaned up and updated userkernel a bit