use our custom kernel config

Change-Id: I4dc99e4a6d8aa575bc50974c9b0ef19d2e5673ca