カーネルパラメータでなんとかなる場合もある

キーボードが効かなくなる場合はi8042.resetをつけるとか