Si è strano, il processore diverso nn avrebbe frenato l'avvio, ho avuto, più di una GA-Z97-D3H e HD3, mi pare che su entrambi avevo F9 di BIOS, non ho seguito tutta la discussione, ma siamo sicuri al 100% che lato OS X hai qualcosa di realmente avviatile e non un pastrocchio proprio sul Sistema, sempre tornando al BIOS di Default non ha bisogno di molte modifiche per avviare, anzi mi pare che già di Default parte, parlo sempre di HD4600, io cmq prima di venderle mi sono fermato alla 10.13.
Ho anche un Lenovo HD 4400 dove l'ultimo dei problemi è l'avvio, insomma in condizioni "normali" è difficile che non avvii con EFI consone.