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