KMP section GOBJ: Extended presence flags

[Wiimm]

The KMP section GOBJ was extended for the LE-CODE executor. So the padding fields of section gets a meaning for the extended presence flags, but hist tools ignoring it and writes always 0. So it destroys the additional info at each edit.

See http://wiki.tockdom.com/wiki/Extended_presence_flags/Implementation_Hints for more details and how to fix it.