fix kernel config name

Change-Id: I5021ea595d36e68ac6f04afaa169d18822b0565c