kernel: vanilla 3.17.1