I was trying to debug using openocd and using the gdb commands provided by OTP: erts/etc/unix/etp-commands.
The commands require a set of symbols to be defined (the etp_XXX defined in erts/emulator/beam/erl_init.c) but they are not. I wonder if the issue is due to the compiler optimizing them out or any special cross-build issue.