Re: physical memory userspace/kernel split on Linux x86-64