getKernel: "helpmenu:get-kernel" = 'helpmenu:get-kernel'