[Linaro-uefi] [PATCH v8 3/3] arm64: update the introduction of xen boot commands in docs/grub.texi