Re: [fedora-arm] Fix for Multiplatform F19 kernels