^{* 24} vmx-var-set.efi という名前で流通しているようです。