[zgemmer] switch to kernel 3.17.2