Allora Fabio, grazie alla tua dritta, cioè l'inserimento dello zero (0) al posto dell'altro numero, vedo finalmente il menu di boot e riesco ad avviare windows 10. Niente da fare invece per High Sierra: stavolta mi da errore proprio sul Kext che avevo in Clover e che qui ho deciso di togliere: cioè Eficheckdisabler.
Non capisco come mai.
Riguardo invece al non uso VBoxHfs.efi è dettato dal fatto che essendo io un pò maniaco dei boot veloci ho rilevato che con questo Kext, perlomeno nel mio sistema, l'avvio di High Sierra è più lento di qualche secondo rispetto a quanto avviene con il Kext sostitutivo.