set up kernel

Change-Id: I334e8ea7d5682a5b1a7d34534075bdb4c49ddcba