[fedora-arm] kernel 4.9.2-200.fc25.armv7hl