Default kernel to sabermod 4.7 tool chain

Change-Id: I2588c40a89c65a9d717ec33e113b40ea16c40d26