PROBLEM: (83940) (PATCH ID: OSF520-042)
********
There are some circumstances in which the Spike post-link optimizer may delete
the high instruction of a two-instruction pair, but fail to delete the
associate low instruction.  This will cause Spike to emit a runtime error
similar to the following:
FAULT: ../../../../../../src/usr/ccs/bin/spike/rel.cxx(4100):
 REL_CheckSectionRelocs: mismatched value sections for R_SPIKE_IMMED_GP_HI32 and
 R_SPIKE_IMMED_LO32

This can be worked around by passing the option "-nounreachable" to Spike.  This
patch prevents this error without needing to pass that option to Spike.