deiban packaging of linux kernel with sysmocom modifications

Ben Hutchings 32fff0de75 DocBook: Use a fixed encoding for output ... This was the last blocker for reproduciblity, so close that bug.		2015-08-27 09:44:20 +01:00
debian	DocBook: Use a fixed encoding for output	2015-08-27 09:44:20 +01:00