Fedora 31 will no longer support 32-bit kernels