[BUG] - Process page tables do not properly switch on thread swich

[bSchnepp]

Issue Checklist

• [x] A related or similar issue is not already marked as open
• [x] The steps to reproduce have been tested, and do produce the issue described
• [x] If relevant, graphical issues have a screenshot presented as well. Text-only issues have the text and it's correct version listed within a Markdown code block section
• [x] The most recent commit on the master branch the bug is present in, with it's commit hash, is listed in this report

===================================================== Bug Description Upon swapping to another process, the page tables for them do not appear to properly switch.

To Reproduce Please list the steps to produce the bug below:

1. Build and run the vmm branch
2. Note that the second process always traps on an undefined instruction
3. But GDB is able to disassemble this instruction fine...?

Screenshots If relevant, please provide screenshots here.

Expected behavior Both processes should run correctly

Additional information Any additional information should be placed here.

[bSchnepp]

Should be fixed in b809414d68aafdc6fc4aef9c63adeb531b3a2114