We need to reset the CPU outside of the whole loop. This moves stuff
around a lot to do that. Otherwise the variables are set after the CPU
already started, and it may be too late (it is too late in our
specific case).

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>