Vivo: Use AOSP 4.7 GCC for kernel building