Hi Marek,
This one can be fixed with such a patch, though I dunno if it's worth it.
diff --git a/include/configs/armadillo.h b/include/configs/armadillo.h [...]
I have seen the rest of the discussion already, and will apply the armadillo removal patch. I just want to make a quick note (again) to all:
Please avoid copy-pasting a patch or even part of a patch in your replies to an official patch, because patchwork then believes you have actually posted a new patch and created a new entry, "hijacking" the comments for the original one.
The 'armadillo' patch shows the issue:
http://patchwork.ozlabs.org/patch/111747/ is the actual patch which should have had the comments, but these were 'hijacked' and stored under http://patchwork.ozlabs.org/patch/111800/ which is actually not a patch but one of the replies.
Amicalement,