J'ai trouvé le fautif. C'est virtualbox 4.1 qui cause le kernel panic. Quand je le désinstalle tout rentre dans l'ordre. Gaëtan