Re: [PATCH v9 9/9] efi: Tidy up some comments in efi header