Modified for using 4.7 toolchain to compile newer kernles inline.           Added a line for compiling the kernel using the 4.7 toolchain. Now modifying a value in the boardconfig.mk for the device will allow it to compile the kernel inline using the 4.7 toolchain.

Change-Id: I770df00adb23cb4e4c670ce8915bc722b829b50d