Merge pull request #456 from libtom/mp-has-comment s_mp_rand_platform: add comment regarding MP_HAS requiring dead code elim