Эти два модуля предварительно скомпилированы и копирются в корневую файловую систему через rootfs_overlay. Столкнулся с проблемой, когда после изменения конфига ядра и его перекомпиляции эти модули корректно не загружаются.
Странные ошибки о несоответствии версий и отсутствия функций.
В dvsdk есть правила для сборки модуля irqk.ko, какие параметры используются для сборки irqk_hdmi.ko?