set up for kernel

Change-Id: I642a02fe1183a67e141b97bccb91afb36054ef2a