Corrected the location for the linux kernel that we are using
	modified:   configs/at91sam9g35ek_defconfig