s390/fpu: get rid of MACHINE_HAS_VX