Ubuntu kernel update breaks Virtualbox