kernel - Fix mprace in kern_objcache