s3virge: added derived s3virgedx device so that the Virge/DX can return the correct ID bytes.  Also cleaned up clock calculation a bit. (no whatsnew)