Probably. There's also a Lenovo key in there, I believe, which sbctl probably doesn't know about.

My laptop is out of warranty and I'm not interested in starting a legal battle should the firmware bug persist and soft brick the motherboard, so I'm not going to try it.