FredBezies [1] filed a deletion request for linux-mainline-vfio [2]: Based on an obsolete development version of linux 4.19 LTS kernel. [1] https://aur.archlinux.org/account/FredBezies/ [2] https://aur.archlinux.org/pkgbase/linux-mainline-vfio/