I was going to post the same but... it's true.
The only problem I found until now is when you try to uninstall some program, it gives an error with apt.

Quote Originally Posted by ruymbeke View Post
Hello,
I confirm that both the 32 and the 64 bits Linux kernel versions are working as expected this time.
Again, thank you Klaus !
Cheers,
Gilles