Build kernel

Change-Id: I02ac2bec7b8b87d83b3ea3f1b0cf44d15f659fa7