[PATCH] s390: spinlock corner case