Tools to manipulate UEFI variables.