Linux kernel developers are discussing removing support for x32