Ist zwar jetzt nicht eine Ideallösung, aber vielleicht hilft es das Hackintool vollständig zu entfernen und neu zu installieren.
Zwar verstehe ich nicht woran der Fehler liegt (bei mir werden nach einem refresh die USB Ports sofort wieder angezeigt), aber vielleicht löst es das Problem und ist nicht wirklich zeitaufwendig!