Written x86 paging code, untested