Xen Documentation - arm64

• arm64
• SBSA UART
• generic-timer