x86_64: started paging