The code here appears fine.
Minor: it would be nice to have a clearer commit message and some more comments about what is required to load symbols for dynamically linked libraries. Some example questions that I have: What are the general required steps in symbol handling (looks like, maybe, reading a few sets of symbol tables using an interpreter)? Do these bits of code get executed all at the beginning of simulation by finding all dynamically linked calls, or on-demand when the simulated binary hits a dynamically linked function call? How does/should this "dynamic" loading process interact with the host environment and checkpointing (e.g. could I change something like LD_LIBRARY_PATH to link against different libraries in a restored simulation)?