[VirtualBox-kmod/f27] (3 commits) ...Add fix for kernel 4.17