I have virtualbox installed, and it was working fine until a kernel update a few weeks ago (I think).

I followed the instructions here but when I try to recompile the kernel modules via the instructions:

/etc/init.d/vboxdrv setup
I get a no such file or directory error. Is this procedure different in 42.1?

gcc, make and kernel-devel are installed.