revert old kernel config