public KernelEventHandler unregisterKernelEventHandler(KernelEventHandler handler) {
   return inner.unregisterKernelEventHandler(handler);
 }