My vote is for x32.

(you didn't know? https://wiki.debian.org/X32Port)