El soporte UEFI (solo para x84-64) se añadió al gestor de arranque desde la versión 10.1, esto incluye la detección de ACPI y la configuración de Root System Description Pointer (RSDP), eXtended System Descriptor Table (XSDT), y Root System Description Table (RSDT) pasando valores al núcleo.