point to the correct kernel config

Change-Id: I5a423ed79cc0865ac56ac9b2c967fd0122de1050