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