I think the basic idea is to either:
- ship the .so in the non-free repository (this has the disadvantage of not being available to x86 target, for scratchbox)
- ship the C source and have the autobuilder compile the C code into the .so library and install it (or make a separate package that compiles the C code)