[fedora-arm] Kernel compilation problem