gui/kerneloptions: rename class