Xen Documentation - arm64

• arm64
• Hypercall
• SBSA UART
• generic-timer
• version_hypercall