# CONFIG_HW_RANDOM_HISI is not set
