[PATCH] s390: synthax checking for VIPA addresses fixed