[PATCH v4 14/46] Correct SPL use of DM_RNG