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