Revert r275778, gcc 4.2.1 doesn't handle -march=armv7.
Correct to the stable/10 commit in UPDATING and specify the correct ports/UPDATING
note.