upgrade kernel from 3.12.13 to 3.12.20