Der Kernel selbst ist aus dem ersten Post.
Das ist der Kernel für 10.11.2 und wenn du ein 10.11.6 verwendest brauchst du auch einen passenden Kernel dafür.
Download Center - Kernel - El Capitan -> AMD Kernel Spakk/Shaneee
Oder den aus dem Anhang ...
@ralf. Das Tool funktioniert super, ich habe nur für meine Zwecke mit dem TextWrangler aus dem SSD ein SanDisk gemacht, meinen USB Stick wollte ich nicht umbenennen.
Die Terminal Ausgabe bezüglich dem IOath3kfrmwr.kext ist völlig normal, der liegt bei mir unter S/L/E weil aus der EFI heraus wird er nicht geladen, das PrelinkedKernel erneuern geht super schnell.