Hi Michael,
This thread about how to generate ancillary sections using gas has resurfaced again. Do you know who might be available from the toolchain group to take a look at this?
It appears that this issue can best be solved by a change to gas (or, possibly, to gcc).
Cheers ---Dave
References:
Dynamic patching in discarded sections http://thread.gmane.org/gmane.linux.kernel/1152142
Generating ancilliary sections with gas http://thread.gmane.org/gmane.linux.linaro.toolchain/686