Fedora 31 will give up supporting 32-bit kernels