Re: [Trisquel-users] Touch-pad doesn't work after resuming from hibernation.

[adamholes]

How to switch back to the old kernel? I want to install virtualbox for ubuntu  
16.04, because I want to install 32-bit windows 10, because I cannot play a  
lot of DVDs.