linux: update to linux-3.12.2