[VirtualBox-kmod/f24] Fixup VirtualBox-kmod