switch up kernel deconfig
	modified:   BoardConfig.mk