adx: simplify encoding by using put_sbits()