scripts/gen_image_generic.sh: generate reproducible EFI filesystem