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.