Raspberry Pi port, piCore-15.0 is available!
IMHO it would be too risky; I seem to recall it's not fully backwards compatible. For the 4.x toolchain I'll let Juanito comment.