Make it so that 'make boot' is optional in the testsuite