CONFIG_ISDN_DRV_GIGASET=m