Revert kernel config change