Qu'est-ce que la coquille EFI ?

Mon BIOS m'offre la possibilité de lancer un shell EFI, mais je n'ai aucune idée de ce que c'est. Est-ce que cela me permet d'activer des drapeaux CPU comme VT-x ou quelque chose de similaire ? Pourquoi voudrais-je l'utiliser ?