# CONFIG_OF_DISPLAY_TIMING is not set
