Also missing from the patch series: a NEWS entry for the addition of the port, and an addition of it to the list of supported configurations in README. -- Joseph S. Myers joseph@codesourcery.com