ops, forgot to load the 16bit IDT, also serial print of IVT
[efitest3] / .gdbinit
1 target remote localhost:1234
2 disp/i $pc
3 set disassembly-flavor intel