Re: [PATCH 14/49] dtoc: Add a header comment to each generated file