linux-3.12: bump .17 -> .18