3 ms·There was never a x32 kernel, it always ran on x86_64 kernels. x32 is just a userspace ABI.by alexlarsson 8y agoThere was never a x32 kernel, it always ran on x86_64 kernels. x32 is just a userspace ABI.