kernel image name
	modified:   BoardConfig.mk

Change-Id: I5d6e86aa0b12d6f4df75b77db02267d4962c04db