lib/clz_ctz.c: Fix __clzdi2() and __ctzdi2() for 32-bit kernels