Re: [PATCH 01/11] x86/CPUID: AVX512-FP16 definitions

[Andrew Cooper]

On 15/06/2022 11:27, Jan Beulich wrote:
> Signed-off-by: Jan Beulich <jbeul...@suse.com>

Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com>