I'm assuming you're referring to the 64-bit Kernel? Yes, it boots K64 by default now. I think the 8 years it's taken driver developers to get to this point is enough 😉
The 32-bit kernel is also part of this limitation. It can only use 4GB of RAM to do it's job (which is enough for now). But that limitation goes out the window in 64-bit mode.