Ok, acabei compilando o kernel usando o Arch Build System
Além das instruções acima, precisei instalar as seguintes dependências:
pacman -S xmlto docbook-xsl
e alterou PKGBUILD
dessa forma (essas são as únicas alterações feitas):
pkgver=3.14.8
arch=('x86_64')
e alterou a linha segunda de sha256sums=
para 0edab0f772836162e5e57ef294d83e88153c15a12f394914c6a25b49e408e8f1
( source )
execute makepkg
(sente-se e reeeeeelax) e finalmente instale ( sudo pacman -U *.pkg.tar.xz
)
Agora estou executando o 3.14.8 e meus problemas de "rasgo" com o shell do gnome acabaram!