Cache problem

Outputs two strings to the Xen console:

(d7) 012
(d7) ....++++++++++++++++++++++

The "...." should be "++++". It shares a cache line with the "012" bit.
Configure write-back for caching

Now works (thanks to Julien Grall).
Output to our virtual console, not just Xen console