[VirtualBox-kmod] Fix build of vboxpci module under Linux 5.2, thanks to Steve Storey