Re: [arch-general] configuring the kernel in a chroot using devtools