BoardConfig: Change kernel-source path