> This is a workaround for a hardware bug of a certain CPU.

What about different variants, revisions, and speeds of this CPU?