[anyfoo]

Another fair point. I think I'd use this:

    make restore & (make -j 20 kernel && make reset upload)

But in reality, the kernel target actually calls make anyway, so it's just in there. Depends on the exact situation.