use another kernel for now

Change-Id: I0367a96d1e369135bea5afceab0fb28f8148aa31