Some symbols were manually added to these files not in the right place
(non-alphabetical order). This causes spurious diffs when trying to
compare these files with the ones make update-symbol-files would
generate.
This commit syncs these file with the ones which are autogenerated to
spot more easily differences between the file in git and the
autogenerated one.