# CONFIG_FIRMWARE_EDID is not set
