kernel update (gcc4.7)

Change-Id: I0d7a6daf28edebb6597ba4dc20bbd28641955b3c