# CONFIG_VIDEO_ASPEED is not set