Check out https://wiki.archlinux.org/index.php/unofficial_user_repositories
You may find a repository for the kernel you're looking for. Just be wary its obviously unofficial and thus unsupported.
- [arch-general] New kernel repo Mthw Mthw via arch-general
- Re: [arch-general] New kernel repo Eli Schwartz via arch-general
- Re: [arch-general] New kernel repo Simon Gomizelj via arch-general
- Re: [arch-general] New kernel rep... Mike Cloaked via arch-general
- Re: [arch-general] New kernel... Mthw Mthw via arch-general
