Build kernel with 4.10
thanks to Tim from ose for the input
	modified:   BoardConfig.mk