# CONFIG_HW_RANDOM_XGENE is not set
