[PATCH 6/9] si: Fix range512 encoding