Fixed silly mistake that prevented proper setup of the page tables
Merge branch 'dev' of https://github.com/SimonGustavsson/PiOS into dev