Virtualbox on arch linux kernel 4.4.5

Since my last upgrade to latest packages of arch linux including kernel 4.4.5 I had trouble starting virtualbox.

[user@xxxxx ~]$ sudo /sbin/rcvboxdrv setup           Unloading modules:  Loading modules: modprobe: ERROR: could not insert 'vboxnetadp': Exec format error
modprobe: ERROR: could not insert 'vboxnetflt': Exec format error
modprobe: ERROR: could not insert 'vboxpci': Exec format error
modprobe: ERROR: could not insert 'vboxdrv': Exec format error

Here are the steps I took to make the trouble go away:

• reboot to make the new kernel 4.4.5 active
• sudo shutdown -r now
• reinstall linux-headers (use the correct version for your kernel!): this triggered a recompile of the virtualbox kernel modules by dkms
• sudo pacman -S linux-headers
• remove package virtualbox-host-modules: this removed old pre-compiled vbox kernel modules. In retrospect, it was probably this last step that actually solved the problem.
• sudo pacman -R virtualbox-host-modules

For what it's worth :)