Indeed, the FakeSMC from the guide is 4.0. However 5.2.678 brings me nothing but a kernel panic. Need to figure out how to get the system running since -x and -v doesn't help.
Update: I removed the SSD and connected it to my Optiplex Hackintosh. Copied the old FakeSMC, reinstalled the SSD, started myHack from the USB stick and ran a full myFix. Now running again. I'm currently not motivated to try another FakeSMC.