Configuração do Kernel para LEDs especiais do teclado

Question

Estou construindo um kernel do Linux 4.9 (que está funcionando muito bem) para meus T460s. A tecla F1 tem um led que mostra se o som está mudo. Não consigo fazer com que este LED funcione mesmo ao ativar todos os tipos de opções de configuração relevantes para o LED.

• P1: Estou errado em assumir que preciso configurar parâmetros relacionados ao LED do kernel?
• Q2: Isso pode estar relacionado à ACPI?

Editar

O kernel de distribuição backports 4.7 usa os LEDs relevantes (F1 = mudo, F4 = mic ligado / desligado) bem. O problema é que não consigo identificar as opções de configuração relevantes, mesmo em um diff ...