Match kernel path with device tree kernel source in BoradConfig