I don't know if they're in the next versions. In theory, the patches should be, but history has shown theory and logic to be a poor predictor of future reality for Arduino code fixes. As for AVRGCC and ACRLIBC, I can't imagine Arduino jumping from 4.3.3 all the way to 4.7.0. We'll see what happens.