# CONFIG_ATM_LANAI is not set