Fixed kernel source path in BoardConfig.mk