Currently accepted:
-The Speculation Control hardware features `ibrsb`, `stibp`, `ibpb`, `l1d-flush`,
-`l1tf-barrier` and `ssbd` are used by default if available and applicable. They
-can be ignored, e.g. `no-ibrsb`, at which point Xen won't use them itself, and
+The Speculation Control hardware features `ibrsb`, `stibp`, `ibpb`,
+`l1d-flush` and `ssbd` are used by default if available and applicable. They can
+be ignored, e.g. `no-ibrsb`, at which point Xen won't use them itself, and
won't offer them to guests.
### cpuid_mask_cpu