This series adds support for a number of more or less recently announced ISA extensions. The series interacts mildly (and only contextually) with the AVX512-FP16 one. Note that the last patch is kind of incomplete: It doesn't enable the feature for guest use, for lack of detail in the specification.
1: x86emul: support LKGS
2: x86emul: support CMPccXADD
3: VMX: tertiary execution control infrastructure
4: x86emul+VMX: support {RD,WR}MSRLIST
Jan
