Processing control commands: > found 790050 4.1+67 Bug #790050 [src:linux] linux-image-4.0.0-2-amd64: Cannot use sdcard: DMA: Out of SW-IOMMU space for 65536 bytes at device 0000:02:00.0 The source 'linux' and version '4.1+67' do not appear to match any binary packages Marked as found in versions linux/4.1+67. -- 790050: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=790050 Debian Bug Tracking System Contact owner@bugs.debian.org with problems