ac8383a95d
The "random" module no longer uses the hardware RNG (the extmod version of this module has a pseudo-random number generator), so the config option MICROPY_PY_RANDOM_HW_RNG is no longer meaningful. This commit replaces it with MICROPY_HW_ENABLE_RNG, which controls whether the hardware RNG is included in the build.