function getKernel(kernelName, backendName) {
	  var key = makeKey(kernelName, backendName);
	  return kernelRegistry.get(key);
	}
Returns the kernel function (code) associated with the provided names.

@param kernelName The official name of the kernel.
@param backendName The official name of the backend.