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