build kernel with gcc 4.7 (aospal)

Change-Id: Ie56bd9a501168eb51863d1e0cb6087764834c1b3