Revert kernel config