PACKAGES: kernel-module-hdmi21-src kernel-module-hdmi21-dbg kernel-module-hdmi21-lic kernel-module-hdmi21-staticdev kernel-module-hdmi21-dev kernel-module-hdmi21-doc kernel-module-hdmi21-locale kernel-module-hdmi21 kernel-module-hdmi21-xfmc-6.12.10-xilinx-g0a0f70e531c7
