kernel: initialize paging