3 ms·

They forgot to mention the kernel gets the top half of the address space, leaving 2^47 for the process. And then it mostly adds up.