arm: update documentation for removal of the Maverick extension

Finally, update the documentation and add a NEWS item.
2 files changed