Man ändert ja was am Kernel, und der ist frei verfügbar.

Aber ich kenne die Untiefen der Lizenzbestimmungen nicht.
Ich würde vermuten, dass es eine Lizenz rechtliche Bindung zwischen Aqua und UEFI gibt, so das Aqua auf nicht Mac-UEFI Systemen nicht benutzt werden darf. Und das es etwas im Mac-UEFI gibt, das von Apple Patentiert ist.