Latest PRNG fixes from Google for crash on Samsung S4 devices

From here: http://android-developers.blogspot.com/