Reenable working paging implementation

git-svn-id: https://subversion.ews.illinois.edu/svn/sp14-ece391/_projects/group14/branches/test@14591 1cec0ab5-dbbe-4d55-bb2a-e14ca091d7d0
Add missing if guard

git-svn-id: https://subversion.ews.illinois.edu/svn/sp14-ece391/_projects/group14/branches/test@14592 1cec0ab5-dbbe-4d55-bb2a-e14ca091d7d0
Merge branch 'master' of github.com:Yes-OS/yesos