set up for new kernel

Change-Id: Ib43303624906115fe67cf5f05e6ba66d3f1263d1