# CONFIG_DE600 is not set
