Some tools for EFI hackery - View it on GitHub