# CONFIG_DRM_EFIDRM is not set
