Kernel panic installing 10.15 on ThinkPad T430 with OpenCore (AppleACPIPlatform and AppleACPIEC)... at least that's what I think this is? (info in comment)