Symbol: PRNG_CONFIG_HW_ENABLE