kernel config for corka updated.