tf300t: Use GCC 4.7 for the kernel

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

Change-Id: I096d4d561d29137a544c55bbdefb57fb4b5a2152