deiban packaging of linux kernel with sysmocom modifications

Vagrant Cascadian ba1733832f [riscv64] Build linux-libc-dev (Closes: #886440). ... Thanks to Manuel A. Fernandez Montecelo.		2018-07-15 13:27:23 -07:00
debian	[riscv64] Build linux-libc-dev (Closes: #886440).	2018-07-15 13:27:23 -07:00