# CONFIG_DDR is not set