[VirtualBox-kmod/f28] Add fix for kernel 4.17