+++ Debian Bug Tracking System [2015-04-24 23:15 +0000]: The issue seems tobe that that modules has been renamed from mxi-hdmi to dw-hdmi-mxi
So a trival patch like this should fix it (testing now but it takes hours to build) --- debian/installer/armhf/modules/armhf-armmp/fb-modules~ 2015-01-17 05:58:35.000000000 +0000 +++ debian/installer/armhf/modules/armhf-armmp/fb-modules 2015-04-25 03:08:44.914590107 +0100 @@ -1,3 +1,3 @@ imx-ipuv3-crtc -imx-hdmi +dw_hdmi-imx tegra-drm Wookey -- Principal hats: Linaro, Debian, Wookware, ARM http://wookware.org/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]

