Re: Question about SEV* guests and automatic firmware selection