PACKAGES: systemcontroller-firmware-vek385-b1-src systemcontroller-firmware-vek385-b1-dbg systemcontroller-firmware-vek385-b1-lic systemcontroller-firmware-vek385-b1-staticdev systemcontroller-firmware-vek385-b1-dev systemcontroller-firmware-vek385-b1-doc systemcontroller-firmware-vek385-b1-locale systemcontroller-firmware-vek385-b1
