set up for kernel

Change-Id: Id42edfba3ce5b6136916278a7042276cce9721d4