core/linux-armv7 to 3.13.1-2, fixes #717