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