After I upgraded the kernel, the VirtualBox, as usual, complained that the VirtualBox Linux kernel driver (vboxdrv) is not loaded, and I had to execute the following command:
sudo /sbin/rcvboxdrv setup
Unfortunately, this time, the execution of the rcvboxdrv setup
failed with the message Bad argument setup
. I guess this is a regression bug introduced in recent VirtualBox package on Oracle's page.
How to fix the problem and be able to run VirtualBox?
sudo apt-get install --reinstall virtualbox-5.0
resolved the issue.