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