Jon -

There were separate reports, but details were skimpy.

The point is that there may be a patch available for your hardware regardless of who made it. Check with your maker, regardless of who it is or what model(s) you use.

And check again in a few months, to see if they found anything new.

John