Revert "inline kernel"

This reverts commit 65fdf6f7cc775bf06865049fca4b97fbac446e5f.

Conflicts:
	BoardConfigCommon.mk