Some minor updates to the Xen/ARM instructions