Digite System Settings > Keyboard Layout (em Personal group). Abra a guia Layouts (se você tiver vários layouts), pressione o botão Options... . Lá você pode encontrar Ctrl key position group. Verifique Menu as Right Control button e aplique novas configurações.