That is the one that I tried thismorning. It has kernel 3.4.something and I'm not smart enough to upgrade it to a newer kernel. G.
I think that it's because you took the 64bit version. The 32 bit version is the one I have downloaded in November and it has the kernel version I said. I booted it in VirtualBox to check the version number in the TDE Control Center.
-Alexandre