[PATCH] Make kmem_cache_destroy() return void