There was never a x32 kernel, it always ran on x86_64 kernels. x32 is just a userspace ABI.