XScale does not guarantee that CPU control register writes complete
their side effects immediately.  In fact, Intel give sample code to
demonstrate a way to ensure that the effect of the write has occurred.
This is specific to Xscale, but the fix should work on any ARM CPU.
We therefore jump through the loops in "spirit" but not necessarily
in exactly the same way as the sample code.