Fix Cubieboard2 kernel build