gdb firmware loader didn't return the right value