> It has been known to happen that drivers implement workarounds for issues
> in the hardware itself, so that hardware bugs do not get tripped (or are
> tripped less often).
🙂
You make it sound like it's a rare occurrence, but it's actually
quite common. Most of it is discrete so you'll rarely be exposed to it,
but `grep bugs /proc/cpuinfo` is one of the places where you can see it
being somewhat documented.
Stefan