put pinbank and mux widths into pinmap.txt