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