Make clean should not be needed, with proper makefiles. However, we
have no dependencies (no proper makefiles), so we'd better clean
first, as building userspace is fast anyways.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>