Rename architecture specific driver files, to make them appear with uniquely identifying filenames in the documentation.