That's related to an issue often found in medical devices development: the certified toolchain contains errors, but you cannot use the newer version with fixed

That's related to an issue often found in medical devices development: the certified toolchain contains errors, but you cannot use the newer version with fixed errors because it is not certified. Of course, the new toolchain passes the same certification suite as does the faulty one (because the certification body does only check the documentation for completeness and basic plausibility and does not have any means to test anything themselves), it's just that it isn't commercially viable to "buy the official stamp".