Build kernel

Change-Id: Ibd5aea8940174c7dbd4c84ce321b7d990dc79cc9