Thanks for your suggestions. I checked config.plist against opencore guide, changed the patches to the latest version, generated smbios for MacPro 7,1
There is absolutely no difference. I noticed some kind of a very brief core dump at the end of the run, but it is not reflected in the debug log...