petronny [1] filed an orphan request for linux-raspberrypi4-aarch64 [2]: Out of date for a long time. [1] https://aur.archlinux.org/account/petronny/ [2] https://aur.archlinux.org/pkgbase/linux-raspberrypi4-aarch64/