Hello, I'm reading here[1] that even when installing the 32 bit version of Fedora we can get a 64 bit kernel (which is awesome). Can someone confirm if this has actually been implemented in F13? [1]http://www.h-online.com/open/news/item/Fedora-project-plans-to-use-64-bit -and-PAE-kernels-740255.html