build kernel inline

:)

 Changes to be committed:
	modified:   BoardConfig.mk