track lean kernel for inline building

Change-Id: I1813f3da9a83441e12b8decbea035ba2f856bc50
google GCC 4.7 changes

Change-Id: I8f3fb994c1de4142e2d504dee6d34e1001c9ab8f