kernel build to gcc4.8

Change-Id: Ia324457a7805fbdb452559352ea2898581514df9