I think people dont understand there's nothing wrong in booting in 32 bits? not even performance-wise. You dont need K64 in order to run 64 bit applications or have more than 4 GBs of ram. Just be happy that when u do need K64 it will be there. Im booting in 32 bit and the performance is the same.