Build kernel with AOSP arm-eabi-4.7 toolchain

Change-Id: I62be97233e77af7f5eaf670bd9906d3ff50dbecb