Then why not use an open source OS with generic drivers which are available in source code and can be inspected, and even build in an exactly reproducible way w

Then why not use an open source OS with generic drivers which are available in source code and can be inspected, and even build in an exactly reproducible way with a system like GNU Guix?