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