Otherwise, the first "make" builds tools before spitting the
error about an unconfigured system. I prefer to have the error alone.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>