Use the modified kernel config.

Change-Id: I6bd1850a249031749562fdfa58789ff55be18682