carl9170: use generic sign_extend32