Build kernel from source (2/2)

Change-Id: Ifd587904c49a241424758c7e7feee35560106d82