# CONFIG_ARCH_ASPEED is not set