* doc/as.texinfo (Overview): Add Xtensa --rename-section option.