Merge pull request #512 from arnout/patch-1 s_mp_rand_platform.c: s_read_urandom: correctly handle split read