sˈʌtʃ kˈɜːnəl ˈɪmɪdʒᵻz kæn stˈɪl biː lˈoʊdᵻd ænd ɹˈʌn baɪ bˈaɪoʊzbˈeɪst bˈuːt lˈoʊdɚz; ðˈʌs, ˌiːˌɛfˈaɪ bˈuːt stˈʌb ɐlˈaʊz ɐ sˈɪŋɡəl kˈɜːnəl ˈɪmɪdʒ tə wˈɜːk ɪn ˌɛni bˈuːt ɛnvˈaɪɹənmənt.
Such kernel images can still be loaded and run by BIOS-based boot loaders; thus, EFI Boot Stub allows a single kernel image to work in any boot environment.