It seems that 4.0.0-2 won't build on amd64: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787004 As 3.16.7-ckt11-1 never hit Sid it seems we currently have no Sid kernel without the ext4 corruption bug....? Also, does anyone have a link to any documentation explaining the Debian linux-image naming scheme as I'm losing track: 4.0.0-1 = 4.0.2 kernel 4.0.0-2 = 4.0.4 kernel 3.16.0-4 = 3.16.7-ckt* kernel