My customized ArchLinux Linux kernel