Kernel 4.1.12以降は大丈夫みたい

Linux Kernel 4.1.9, 4.1.10は起動後何時間かして固まりましたが，4.1.12は大丈夫です．

現在の4.1.xの最新版は4.1.13で，これも問題ないようです．