Currently we have to manually load u-boot-spl, wait several seconds and then send Ctrl-C. It would be great if we could set a breakpoint that returns control to gdb and then load u-boot.
(gdb) tbreak board_init_r
(gdb) load u-boot-spl
(gdb) continue
(gdb) load u-boot
(gdb) continue
Ideally this would be done in a openocd script that we could eventually include in an openocd DEB/RPM package.