# CONFIG_CED1401 is not set
