・きちんとデバイスを閉じないカーネルバグへの対策