boardconfig: change kernel source directory