Fix a serialisation problem on RISC platforms

Signed-off-by: Martin Sustrik <sustrik@250bpm.com>