Use the modified kernel config

Change-Id: I8c62f1bd67f730875b831ccf929a91b422b511f5