paging code cleaned up, improving kmalloc