core/linux-armv7 to 3.14.0-3, fixes #805