Re: [arch-general] [arch-dev-public] Trimming down our default kernel configuration