Enable inline kernel building

Conflicts:
	BoardConfig.mk