Das tut mit leid, dann weiß ich auch nichts mehr.
Die PS2 Kexte sind ja für PS2 Mäuse und Tastaturen, also die alten grünen und rosa Stecker, beim Clover Bootloader legt man die einfach in der EFI/Clover/kexts/Other ab.
Hast du alle BIOS/UEFI Einstellungen noch mal überprüft?
Deswegen ja auch Brechstange ...