Just put my 5600 back in, and copied the BIOS settings 100 % precisely from the last time it was in, and got lower scores than before the update. This leads me to believe that
1. the new BIOS,
2. the latest graphics card drivers, or
3. the latest chipset drivers
are responsible for the loss - I have updated all three since the last time I benchmarked with my 5600.
ETA - just run Superposition, and got back to 9500+ (from <8000 on the 5800X 3D, but 9800+ before any of this).