PACKAGES: kernel-module-hdmi-src kernel-module-hdmi-dbg kernel-module-hdmi-lic kernel-module-hdmi-staticdev kernel-module-hdmi-dev kernel-module-hdmi-doc kernel-module-hdmi-locale kernel-module-hdmi kernel-module-xilinx-hdmi-rx-6.1.5-xilinx-v2023.1 kernel-module-xilinx-hdmi-tx-6.1.5-xilinx-v2023.1 kernel-module-xilinx-vphy-6.1.5-xilinx-v2023.1 kernel-module-dp159-6.1.5-xilinx-v2023.1
