Clean up kernel config a bit