RFC: Odd AT_PLATFORM set for x32

[H.J. Lu]

[hjl@gnu-tools-1 build-x86_64-linux]$ LD_SHOW_AUXV=1 elf/tst-align
AT_SYSINFO_EHDR: 0xffbb4000
AT_HWCAP:        bfebfbff
AT_PAGESZ:       4096
AT_CLKTCK:       100
AT_PHDR:         0x400034
AT_PHENT:        32
AT_PHNUM:        9
AT_BASE:         0xf7d5b000
AT_FLAGS:        0x0
AT_ENTRY:        0x400f10
AT_UID:          1000
AT_EUID:         1000
AT_GID:          1000
AT_EGID:         1000
AT_SECURE:       0
AT_RANDOM:       0xffabe5fb
AT_HWCAP2:       0x0
AT_EXECFN:       elf/tst-align
AT_PLATFORM:     i686
^^^^^^^^^^^^^^^^^^^^^^^^^ This is very odd for x32.

Should AT_PLATFORM be changed for x32.  If yes,  what should
AT_PLATFORM be set to for x32? x86_64 or something else.
Change AT_PLATFORM probably means adding a new file,
binfmt_x32.c.  Is this desirable for x86 kernel?

-- 
H.J.