Tools and libraries to manipulate EFI variables
