[PATCH] fix Intel RNG detection