Re: xorriso and EFI boot images

[Seth Goldberg]

> Prone to change is the current rule that the EFI image always is second if a 
> BIOS image is present. I will probably make this depending on the sequence 
> of options in future. Please take care in grub-mkrescue to express your 
> desired sorting by giving -b before --efi-boot.

  For maximum compatibility, the BIOS entry (platform id 0) should be first. 
There are BIOSes out there do not traverse the entire catalog, so sorting 
with platform id 0 first should be the documented default.

 --S