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-5.15.19-xilinx-v2022.1 kernel-module-xilinx-hdmi-tx-5.15.19-xilinx-v2022.1 kernel-module-xilinx-vphy-5.15.19-xilinx-v2022.1 kernel-module-dp159-5.15.19-xilinx-v2022.1
