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?