Update BoardConfig.mk

Renamed kernel source based on repo change.