A couple months ago, Microsoft updated the KB4072698 article for CVE-2019-11135. There are two new sets of values: 72/3 for hyperthreading enabled, and 8268/3 for hyperthreading disabled.
The fixlets for KB4072698 have not been updated since spring 2018, Patches for Windows site version 2948. Can we please get updates the fixlets?
Looks like those settings are already covered in fixlet ID: 407311905
You put down 8268 but I think you meant 8264.
Action 1 is 48/3 hex and action 2 is 2048/3 hex, which is 72/3 decimal and 8264/3 decimal, respectively.
Thanks, @bma. It looks like we were looking at the wrong fixlet.