AFAICT, the latest amd64 kernel in Debian x86 testing is still 3.16 (i.e. the one from Debian stable). Any idea why there's no newer one? Stefan