syswrap-xen.c: Make indentation consistent