This saves 50 bytes in wrpc-sw (and more in x86 builds)

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>