il kernel senza patch sembra vada regolarmente

sulle mailinglist di kernel.org sembra ci siano diversi casotti anche per il tuo problema
http://www.ussg.iu.edu/hypermail/lin...0.0/index.html
io non lo uso perche proprio non riesce a compilare i driver nvidia

ho provato con debian solamente