# CONFIG_ATMEL is not set