make page_alloc and page_free work when paging is enabled