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