PACKAGES: kernel-module-mali-src kernel-module-mali-dbg kernel-module-mali-lic kernel-module-mali-staticdev kernel-module-mali-dev kernel-module-mali-doc kernel-module-mali-locale kernel-module-mali kernel-module-mali-5.4.0-xilinx-v2020.2
