Fixes to page allocator e.g. it works right now