[david-gpu]

That is largely what drivers do: work around hardware bugs. It's the industry's dirty secret.

To be fair: the hardware is enormously complex, and the drivers much less so.