modifications to menu.c for debug usages
Merge branch 'master' of https://github.com/xtreme-michael-xiao/kern
changed the spinlock from pointer to an instance