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