FredBezies [1] filed a deletion request for linux-surfacepro3 [2]: Kernel dead a long time ago in upstream. [1] https://aur.archlinux.org/account/FredBezies/ [2] https://aur.archlinux.org/pkgbase/linux-surfacepro3/