Linux Kernel 3.13 Finally Arrives on Arch Linux, with a Warning