Difícil de arrumar não é, mas de encontrar a solução sim.De qualquer modo, um simples ajuste nas configurações do teclado no Ubuntu resolveram a questão:
Configurações / Teclados / Disposição.
Substituimos a original por “Português (Brasi, ThinkPad da IBM/Lenovo)” e tudo resolvido !
