Re: [PATCH v2 18/33] dtoc: Warn of duplicate drivers