AMD64 kernel on i386 userspace is not supported by upstream, therefore I recommend to close it as WONTFIX. (as of v4.1.6 and below) If someone wants this feature, he should contribute patches upstream.
Please close as WONTFIX. -- -Alexey Eromenko "Technologov" -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org