Eu instalei o kernel 4.16.13 do kernel.ubuntu.com/~kernel-ppa/mainline e parece funcionar agora ...
... foi tão frustrante.
Editar : Não, isso também não resolveu o problema depois de observações mais longas.
O que eu fiz agora foi:
sudo apt purge linux*
Atenção, esta etapa sozinha fará com que o computador não seja inicializado! Não esqueça a próxima linha:
sudo apt install linux-headers-generic linux-image-generic linux-tools-generic
Agora, o Firefox funciona muito mais fluente e as cargas do Firefox são distribuídas uniformemente por todos os núcleos do processador.
Eu vou observar ... de novo.