più che altro io mi preoccuperei del come mai ti dice che il kernel che stai utilizzando sia per sistemi multiprocessore