Build kernel from source code (1/2)

Change-Id: Ib546f3f560bb7dc6d44bd5a99662e0c33c671f3d