Yeah, the only thing I've ever seen is the MOK management thingy your bios will throw you into if something wants to add a new key, but iirc that can only list the key you're about to add, not all of them. I also have no idea how you get to that menu without adding a new key.
The new bit is essentially that a bunch of vendors have been using test keys in production hardware, mostly enterprise hardware, and nobody has implemented key clustering or rotation like the original design spec recommended.
Beyond that, the older news is the legitimate production key compromise, stored online behind a four character password. But this one’s not as big an issue as most of the implicated hardware is already EOL and no longer in use.