Providing the 3.12 LTS kernel for ArchLinux