RELEASE='3.16.0-6-r5k-ip32'
DISTRIBUTOR='Debian'
SOURCEVERSION='3.16.56-1+deb8u1'
