[fedora-arm] Fix for Multiplatform F19 kernels