# CONFIG_IXP4XX_NPE is not set