RE: [PATCH v2] random: use immediate per-cpu timer rather than workqueue for mixing fast pool