2012-07-01 2012 年 7 月 1 日のうるう秒挿入時に発生した Linux カーネルの不具合に関する情報 Linux http://ringeye.jawfish.org/~ori/misc/leapsecond-20120701.html めも