# CONFIG_TINYDRM_ILI9225 is not set