core/linux-raspberrypi-latest to 3.17.1-2; update config to 3.17