# CONFIG_IGC is not set
