fix the names of x86_64 .s files
[libm] / TODO
2012-03-11 nszTODO list update
2012-03-11 nszadd TODO list