Test-case for Xen/ARM