A recent change to the SVSM kernel requires XCR0 to match the value 1 when looking for CPUID[EAX=0Dh] leaves. However, the IGVM file builder was populating the CPUID template with XCR0=0, resulting in a mismatch when the CPUID lookup was attempted. This change sets XCR0=1 for the extended leaves in the CPUID template in the IGVM file so the constructed table matches the expected value at lookup time.
A recent change to the SVSM kernel requires XCR0 to match the value
1when looking for CPUID[EAX=0Dh] leaves. However, the IGVM file builder was populating the CPUID template with XCR0=0, resulting in a mismatch when the CPUID lookup was attempted. This change sets XCR0=1 for the extended leaves in the CPUID template in the IGVM file so the constructed table matches the expected value at lookup time.