[PATCH v0 1/4] Documentation: arm: [U]EFI runtime services