Re: [edk2] Debugging Sec and PI phases {Source symbols}