Question about SEV* guests and automatic firmware selection