BoardConfig: fix target kernel source