Remove the word "thumb" from comments. Remove also an incorrect
command regarding the porting from the ARM version (was an old comment).