linux: update to linux-3.17 (x86 and x86_64)