[arch][x86_64] more x86-64 MMU changes