../test_code: ./test.sh    --- and run hello.efi
../test_code: cat debug.log | grep hello -A 5
	Loading driver at 0x0000657B000 EntryPoint=0x0000657E000

(gdb) file hda_contents/hello.efi
(gbb) info files
	...
	Entry point: 0x3000
	0x0000000000003000 - 0x0000000000008980 is .text
	...
	0x000000000000a000 - 0x000000000000bd00 is .data
	....
(gdb) file		// unload file
(gdb) add-symbol-file ../GNU_efi_HelloWorld/hello.debug 0x657E000 -s .data 0x6585000

(gdb) b efi_main
(gdb) b *0x657e260
(gdb) info b

(gdb) target remote localhost:1234
(gdb) c

(gdb) layout asm
(gdb) layout src