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