BoardConfigCommon: Set kernel source path to sultan-celox