[Patch] Emit a defs.h file

[Doug Evans]

Ben Elliston writes:
 > There are also corresponding sim/ directory Makefile changes to activate
 > this new option.  I will send them to gdb-patches@.

[and cc this list]