RELEASE='3.16.0-11-armmp-lpae'
DISTRIBUTOR='Debian'
SOURCEVERSION='3.16.84-1'
