s390: Rename s390-ccw-virtio-2.4 class name to use MACHINE_TYPE_NAME