hv: mask off LA57 in cpuid
Mask off support of 57-bit linear addresses and five-level paging.
ICX-D has LA57 but ACRN doesn't support 5-level paging yet.
@@ -121,6 +121,9 @@ static void init_vcpuid_entry(uint32_t leaf, uint32_t subleaf,
entry->ebx &= ~(CPUID_EBX_PQM | CPUID_EBX_PQE);
+ /* mask LA57 */
+ entry->ecx &= ~CPUID_ECX_LA57;
+
/* mask SGX and SGX_LC */
entry->ebx &= ~CPUID_EBX_SGX;
entry->ecx &= ~CPUID_ECX_SGX_LC;
