I reread what I know about gcc-4.7 and thumb, and realized that gcc-4.7 is not producing thumb-code as default, so there are no reason to use gcc-4.2 (unless some specific package is really needing it).