64-bit iOS boot image patcher written in C - View it on GitHub