When debugging UEFI loader for ARM (UEFI Haiku boot loader for ARM), I used UEFI text output protocol to write checkpoints like (1), (2), (2.1). Also UEFI display crash report with IP register value that can be converted to source code position by llvm-addr2line.