Guarda sul modulo FM non è stato mai chiaro..... in teoria se è disabilitato non dovrebbe andare....
Il kernel è original..... il file è modificato ed installa l'ultima versione del semaphore manager cancellando eventuali devil manager e vecchi semaphore manager....