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