[Linaro-uefi] [PATCH v3 4/4] arm64: Add the introduction of xen boot commands in docs/grub.texi