No this is about running userspace x32 programs that will make x32 syscalls with 32bit pointers. Such kernel will run x86 binaries (in compat mode), x86_64 bin

No this is about running userspace x32 programs that will make x32 syscalls with 32bit pointers. Such kernel will run x86 binaries (in compat mode), x86_64 binaries and x86_32 ones.