Re: [PATCH V5 07/12] tools: Add script for converting public key into device tree include