No amd64 kernels on i386 arch past 3.16.0-4?

[Mark Kamichoff <prox@prolixium.com>]

Hi - 

For awhile I've been able to install 64-bit versions of recent kernels
on Debian i386 installations, to reap the benefits of a 64-bit kernel
without having to do a reinstall.  This gives me a 64-bit kernel and a
32-bit userland.  I've a flurry of i386 VMs that moved hypervisors and
now support 64-bit instructions, but I haven't wanted to reinstall them
all :)

However, I haven't seen any amd64 kernels past 3.16.0-4 for i386.  All
of the 4.x kernels are 32-bit:

(sinc:12:18:EST)% apt-cache search ^linux-image-
linux-image-4.3.0-1-686 - Linux 4.3 for older PCs
linux-image-4.3.0-1-686-pae - Linux 4.3 for modern PCs
linux-image-4.3.0-1-686-pae-dbg - Debugging symbols for Linux 4.3.0-1-686-pae
linux-image-586 - Linux for older PCs (dummy package)
linux-image-686 - Linux for older PCs (meta-package)
linux-image-686-pae - Linux for modern PCs (meta-package)
linux-image-686-pae-dbg - Debugging symbols for Linux 686-pae configuration (meta-package)
linux-image-3.16.0-4-amd64 - Linux 3.16 for 64-bit PCs
(sinc:12:18:EST)% dpkg --print-architecture
i386
(sinc:12:18:EST)% 

Is this type of configuration now deprecated or will 64-bit kernels for
i386 be coming sometime in the future?

- Mark

-- 
Mark Kamichoff
prox@prolixium.com
http://www.prolixium.com/