>
> 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