fix kernel config

Change-Id: I3e2f75b3be2cdfe39f65ef9cfd2e936828f6ec94