[fedora-arm] kernel-rt on armhfp