Rok Mandeljc - 2017-12-08

vhba-dkms does not provide vhba kernel module itself; rather, it provides the source and registers it with DKMS, which in turn should build the module for you whenever new kernel is installed.

So for one reason or another, DKMS is not doing its job. You can check its status:

sudo dkms status

or try to trigger rebuilding again:

sudo dkms autoinstall

and watch out for error messages.

For some quick details on DKMS, you can check the "Usage" section in ArchLinux's DKSM docs:
https://wiki.archlinux.org/index.php/Dynamic_Kernel_Module_Support#Usage