celox: use 4.7 gcc for the kernel

 - until it gets updated

Change-Id: Ib4f55ba83378c8c9ec9500eb31a39edb2c43b717