[PATCH 4/7] si: Fix range512 encoding