This was before github, so the patch is on Mantis in MPR#6792. The patch was against 4.02, so we would first need someone to port it to a more recent OCaml version (4.05 or 4.06), and to test the result. Unfortunately porting is not trivial because there were other related changes to the runtime in between (some features of the patch are subsumed by work that went into making backtraces work well, if I remember correctly). Once we have got a working patch on a recent OCaml version, we can ask the Coq people to test it and, if it works for them, propose it for upstream inclusion.
This is not easy work, but it would be very helpful to various people.