Tools for manipulating UEFI secure boot platforms
