6 Jan
2017
6 Jan
'17
8:36 p.m.
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.