update BoardConfig.mk, use kernel source instead of prebuilt kernel