Thanks for the pointer.
So the Kernel Notification is a poorly labeled firmware update Notification, with no indication of whether or how to do it?
Thanks to your pointer, a quick search found this, so I’m going to sleep now and read it tomorrow.