[RETRACE-SERVER PATCH] Include floating-point registers in the backtrace