# CONFIG_DRM_LOAD_EDID_FIRMWARE is not set