Also (re-)adds some debian armhf-patches – not really needed, but making
it easier to apply the libstdc++-related patches without having to
modify them.
d73ef251
To find the state of this project's repository at the time of any of these versions, check out the tags.