[ranma42]

x64_32 never really took off and there was some discussion of removing the support in the past: https://lwn.net/Articles/774734/

[josteink]

Any particular reason for that? Anyone knows?

Anyone has actual experience using it? Is it hard to set up? Does it have compatibility issues with plain x64? Gains not worth additional complexity?

I’ve really never seen it used or any guides on how to create a system/software built that way.