fix TARGET_KERNEL_CONFIG

Change-Id: If3072f0d967eab719d84db8e5145266ed90a6adc