# CONFIG_LTE_GDM724X is not set