Apologies, please ignore the previous gdb output. The error printed there was
transient which was gone after a reboot. I have updated the attached gdb output
which should be more helpful now.