Back to stock kernel configurations