Use sign_extend32() instead of open coding sign extension.
Signed-off-by: NMartin Kepplinger <martink@posteo.de>
Signed-off-by: NAlexandre Belloni <alexandre.belloni@free-electrons.com>