Update: I removed whatevergreen and put NootRX, cleared config.plist.
I had different info about keeping or removing the agdpmod=pikera boot argument from config.plist so I left it
When I rebooted, I got prohibition sign.
So I opened config with OpenCore Configurator, and, when I saved it, it...