Eu tive exatamente o mesmo problema quando estava tentando instalar o arco no VirtualBox hoje mais cedo. A solução é executar depmod
$ depmod 3.14.4-1-ARCH
Depois de executar o modprobe novamente, ele deve funcionar.
Você pode usar uname -r
para encontrar sua string de versão do kernel.