[PATCH] s390 __CHECKER__ ifdefs