deiban packaging of linux kernel with sysmocom modifications

Vagrant Cascadian 5cd2c3b57c [arm64] Enable configuration options used in Firefly-RK3399: ... DRM_ROCKCHIP, ROCKCHIP_ANALOGIX_DP, ROCKCHIP_DW_HDMI, ROCKCHIP_DW_MIPI_DSI, ROCKCHIP_SARADC, ROCKCHIP_IOMMU, ROCKCHIP_EFUSE, PHY_ROCKCHIP_TYPEC, ROCKCHIP_THERMAL (Closes: #901159). Thanks to Heinrich Schuchardt.		2018-06-17 14:11:11 -07:00
debian	[arm64] Enable configuration options used in Firefly-RK3399:	2018-06-17 14:11:11 -07:00