¿Qué es la carcasa EFI?

Mi BIOS me ofrece la opción de lanzar un shell EFI, pero no tengo ni idea de qué es eso. ¿Me permite activar banderas de la CPU como VT-x o algo similar? ¿Por qué querría usarlo?