[PATCH 3/3] x86_64 EFI runtime service support: document for EFI runtime services

Changelog between v3 of EFI x86_64 support patch and this version 1. Change 64bit parameter description to 8 bytes in zero-page.txt 2. Add document for EFI related boot options. --- This patch adds document for EFI x86_64 runtime services support. The boot parameters added are documented in

[PATCH 3/3] x86_64 EFI runtime service support: document for EFI runtime services

Changelog between v3 of EFI x86_64 support patch and this version 1. Change 64bit parameter description to 8 bytes in zero-page.txt 2. Add document for EFI related boot options. --- This patch adds document for EFI x86_64 runtime services support. The boot parameters added are documented in