[PATCH v3] tools: add a simple script to generate EFI variables