RELEASE='3.16.0-4-armmp'
DISTRIBUTOR='Debian'
SOURCEVERSION='3.16.7-ckt25-2+deb8u3'
