kernel - fix bug in objcache_destroy()