Thank you very much Plexi! At first neither EFI you made for me worked, so I went down a hardware troubleshooting path and removed my old boot drive, an early WD Black NVMe m.2 ssd. That drive must have been damaged in the power event. I picked up a new WD Black 500 GB NVMe m.2 for $62 (!) at BestBuy this afternoon and now have a fresh installation up and running, but with a VASTLY improved EFI thanks to you.
The DSDT version you provided boots 2-3x faster than my old Clover installation and just seems faster and more stable in every way than the other versions I made.
Now I'll just have to follow the USB mapping guide and get that dialed in.
Note: I had the wrong 2nd ethernet kext because of this line in the OpenCore guide: "Atheros Killer E2500 models are actually Realtek based, for these systems please use
RealtekRTL8111 instead". My Windows installation on this hardware identifies it as a Killer E2500, so that's what I went with.