# CONFIG_FHCI_DEBUG is not set