kernel - Update random number generator