Check the list of CPUID leaves required for TDX

[cperezvargas]

Check if the following CPUID leaves are required for TDX and modify the list accordingly.

pub const TDX_REQUIRED_LEAVES: &[(CpuidFunction, Option)] = &[
// The following aren't required from AMD. Need to double-check if they're required for TDX
(CpuidFunction::CacheAndTlbInformation, None),
(CpuidFunction::ExtendedFeatures, Some(1)),
(CpuidFunction::CacheParameters, Some(0)),
(CpuidFunction::CacheParameters, Some(1)),
(CpuidFunction::CacheParameters, Some(2)),
(CpuidFunction::CacheParameters, Some(3)),
];