# CONFIG_HW_RANDOM_BA431 is not set