Heh, I happen to have the physical cart for that.
In anycase, I used SSU and it downgraded neat and clean, although I had to manually reboot. Using downgradechecker, almost all of the mismatches were cleared up, but surprisngly, GPIO system-moldule, DSP-system-module, and amiibo settings still...