[coreboot] Maintain boot order for multiple EFI based OS