Use Sabermod 4.8 for Android and GCC 4.7 for Kernel