Fix the logic for when to restore the VFP registers. It should restore
them when a different thread last used them, or when the thread was last
run on a different cpu.

Obtained from: ABT Systems Ltd
Sponsored by: The FreeBSD Foundation