Teclas de função (F1, F2...) pararam de funcionar

As teclas de função que uso com frequência são F1, F2, F3, F10, F11 e F12 e elas funcionavam normalmente até que, em um dia desses, as teclas de F1 a F3 pararam de funcionar do nada. F10 a F12 ainda funcionam.

Eu segui vários guias que sugeriam algumas soluções:

1. Deixar ativada/desativada a opção "Usar todas as teclas F1, F2, etc. como teclas de função padrão" na seção Teclado das Preferências do Sistema para ver o que acontece. Nada mudou. Tinha desativado essa opção faz muito tempo; tentei ativar para ver se resolvia o problema. Ainda assim, nada.

2. Reiniciar o dock usando o comando killall Dock no Terminal. Tentei. Não deu certo.

3. Desligar a opção "teclas do mouse" na aba de Acessibilidade das Preferências, que já estava desligada, então... nada.

4. Resetar o SMC (System Management Controller), que é aparentemente apenas desligar o computador, tirar o cabo de alimentação da tomada, botar de volta e ligar o computador, mas posso estar errado, não sou muito bom com essas coisas, então, se eu tiver feito errado, por favor me corrijam.

5. Checar se o problema não é relacionado a algum software que foi instalado, que pode ser possível já que o problema veio do nada, mas eu não sei como fazer isso.

Agradeceria muito por respostas porque está difícil apenas com guias.