_ [debian] linux-image-4.11.0-1-amd64 変？

キーボードが効かなくなった。いろいろ試してみたところ kernel オプションに i8042.nopnp=1 を追加して解決した。 4.9.0-3 のころは

kernel: i8042: PNP: No PS/2 controller found. Probing ports directly.

となっていたものが

kernel: i8042: PNP detection disabled

となった。