build kernel from source if exist, and use linaro-4.7

Change-Id: Ica67f7842274368850ed0288683baf1de1d702fb