It is possible for the exchanges and miners to get together and change the protocol, to mark the stolen bitcoins as invalid? The thief is probably going to dump the stolen bitcoins on the market - not exactly a good thing for the bitcoin price or the long term viability of bitcoin itself.
Especially since it will take quite some time to dump all thsoe bitcoins - the market isn't all that liquid.