[fedora-arm] failed to build kernel-4.2.0-300.fc23.src.rpm on armv7hl