lˈɪnʌks kˈɜːnəlz nˈiːd təbi bˈɪlt wɪð kənfˈɪɡ ˌiːˌɛfˈaɪ stˈʌb ɛnˈeɪbəld sˌoʊ ðeɪ kæn biː dᵻɹˈɛktli ˈɛksᵻkjˌuːɾᵻd æz jˈuːfi ˈɪmɪdʒᵻz.
Linux kernels need to be built with CONFIG_EFI_STUB enabled so they can be directly executed as UEFI images.