[no-ref] addin addExtensionPath to Kernel