Long, long time ago, I suggested adding thumb2 target to official repos (not even the complete transition to thumb2). Everyone seemed to agree that it is good idea and should be done at some point... then, 2 years have passed. Or more - anyway, we're happy to have autobuilder working at all, and last time I checked, no one wanted to touch any changes with a long stick. I wouldn't hold my breath for more radical changes /Estel