[PATCH] s390: 64 bit diag250 support