u-boot-tools-1.3.1 has been marked ~x86 for more than nine months, but it compiles with stable gcc (4.1.2) and works fine on my x86 box - I've been using mkimage to prepare uimages for some time now. Can we mark u-boot-tools as stable on x86? Reproducible: Always
amd64/x86 stable, all arches done.