[sr-dev] git:master:68de38d5: dispatcher: switch to ksr_xrand() to be able to use custom rand function