Lower kernel tool chain to sabermod 4.7

Change-Id: Id50a3caccf1d5ebdd9dbd322e576f92b2cb53107