O problema desapareceu após o reinício. Eu só posso especular sobre as razões. É possível definir CTRL por software. Talvez isso tenha acontecido. Eu não mexi com keymap
ou algo assim, então não sei o que causou o problema.
Desculpe, pelo alarme falso. : - (
Editar:
De tempos em tempos, o problema se repete. Ele desaparece com um reinício. Eu ainda não sei porque.
Atualização:
Tive o problema novamente em dois sistemas Arch Linux. Ocorreu exatamente após uma atualização do kernel do Linux, mas antes que o sistema fosse reinicializado. Após a reinicialização, o problema desapareceu em ambos os sistemas.