# CONFIG_HW_RANDOM_CAVIUM is not set
