# CONFIG_HW_RANDOM_VIA is not set
