[PATCH V6 08/13] tools: Add script for converting public key into device tree include