konfigure kernel

Change-Id: Ic0d94962605eaff54fec78483de97c95e8a00102