linux kernel for Spreadtrum SC7731,new pcDuino