# CONFIG_ATM_IDT77252 is not set