[Binman] Question regarding SPL symbol offsets generation