UEFI OVMF symbol load script for GDB - View it on GitHub