tf700t: Use GCC 4.7 for the kernel

 There are known issue with GCC 4.8, use GCC 4.7 to build kernel.

Change-Id: I7787c278a94a7fa3bafbaac04b18d8e5c0088f0f