Wenn ich mit dem alten USBT450.kext boote, den ich von Dir habe, dann sieht's so aus bei mir.
Ich hab mit Hackintool auch einen neuen erstellt, welcher genauso geht, nur die Ports nennen sich anders vom Namen her.
Du nutzt übrigens eine alte Version vom Hackintool.
CardReader ist bei mir das gleiche Device 10EC 5227, nur das Subdevice ist anders.
Es läuft wohl auf PCI auf. Der Device Pfad ist hier PciRoot(0x0)/Pci(0x1C,0x0)/Pci(0x0,0x0)
Im ioreg läuft es hier auf: