On Thu, Aug 30, 2012 at 11:58:08AM +0200, Borislav Petkov wrote:> Kernel is 3.5.2, 32-bit.Correction: 64-bit.-- Regards/Gruss, Boris.