[VirtualBox-kmod] Add fix for kernel 4.17