Remove unused kernel config