[fedora-arm] status of various kernels?