Fix build.
Add TARGET_KERNEL_SOURCE to BoardConfig.mk