# CONFIG_OCTEONTX2_AF is not set
