kernel: add VFIO kernel packages