Arch Linux kernel for the Arch.CD infrastructure