Temporary workaround for the lack of correct dtlb fault handler: all pages are mapped read-write