# CONFIG_ISDN is not set