PACKAGES: kernel-module-mali-dbg kernel-module-mali-staticdev kernel-module-mali-dev kernel-module-mali-doc kernel-module-mali-locale kernel-module-mali
