After updating my kernel to 4.20.16-200, Virtualbox machines fail to boot up and tell me the kernel drivers must be reloaded. After reinstalling the kernel, this does not fix the issue. However, the issue can be fixed by falling back to a previous kernel.