I could check the kernel easily with dkms enabling all proposed pocket,
I had to reboot with 4.4.0-143 to check dkms installation, and after that everything went fine.
The change is a no-op for virtualbox-hwe, since the change is in r0drv, and that code is run only on host, but we should keep them in sync, virtualbox-hwe is still installable correctly.
I could check the kernel easily with dkms enabling all proposed pocket,
I had to reboot with 4.4.0-143 to check dkms installation, and after that everything went fine.
The change is a no-op for virtualbox-hwe, since the change is in r0drv, and that code is run only on host, but we should keep them in sync, virtualbox-hwe is still installable correctly.
Also kernel 4.15 is still building correctly.