build kernel inline

also use 4.7 toolchain

Change-Id: I3ee7da96ef134a49644fd90751d0ac4776a4756c