Update notes for submitted changes

* x86/efi: Make efi virtual runtime map passing more robust