Ubuntu Touch Kernel Config [простой вопрос]

Я в процессе портирования Ubuntu Touch. Основываясь на руководстве по портированию, https://developer.ubuntu.com/en/start/ubuntu-for-devices/porting-new-device/ Я хотел бы знать, о каком ядре идет речь, в разделе конфигурации ядра,

ядро/[производитель]/[кодовое имя]/arch/arm/config / cyanogenmod_[кодовое имя]_defconfig

а) Ядро Ubuntu (если да, то какая версия / версия)

б) Ядро CyanogenMod для устройства, на которое я портирую устройство

в) Ядро Android (универсальное)

г) что-то еще?

Я запутался по этому поводу, потому что не было соответствующей папки ядра, которая была фактически создана во время установки папки phablet.

Заранее спасибо!