[fedora-arm] [PATCH] kernel: only build kernel-headers on ARM