[VirtualBox/f33] Fixes for kernel 4.9