registers_fetched() at the end of store_inferior_registers(). By definition, our copy of the register set is up-to-date at that point, so let the common gdb code know that.
to gcc to support the ns32381's additional floating point registers.