Tools and library to manipulate EFI variables
