[aur-requests] [PRQ#8016] Deletion Request for linux-mainline-usermode