[RigoDaemon] use KernelSwitcher.list() rather than reimplementing the same logic