fix xp1000 kernel build