Reorganize the mappings of the page tables and of the framebuffer
Add a way to map a page into the address space (to 0xf00xxyyy)
Implement the page table walk to convert from MVA to physical addresses