Again, this is one of those posts more for me, but hopefully other people might find it useful.
Recently I updated my Arch Linux box
# pacman -Syu
and during this update a new kernel was added – which meant that my VirtualBox installation didn’t work any more, chucking out the following message
The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. Re-setup the kernel module by executing