bitops.h: improve sign_extend32()'s documentation