[Rigo] add preferences menu to show available kernel binaries (both LTS and not)