>> 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?
> Since linux 4.0, the -amd64 kernel flavor is no longer built on i386:
Hmm... that's what I thought.
> To install the -amd64 kernel via multiarch, run these commands:
> # dpkg --add-architecture amd64
> # apt-get update
> # apt-get install linux-image-amd64:amd64
Thanks. It's kind of silly to have to download the complete list of amd64
packages, but I can live with it.
And I guess I can --remove-architecture right after that so I don't keep
downloading/updating the list of amd64 packages all the time.