Kbuild: allow building tools without board configuration