Re-add portmgr machines to internal machine list.

svn path=/head/; revision=45494

en_US.ISO8859-1/htdocs/internal/machines.xml

@@ -174,7 +174,6 @@ this file</a>.</p>
 </tbody>
 </table>
 
-<!--
 <h2>Ports building cluster</h2>
 
 <p>The ports building cluster is primarily managed by the Ports
@@ -189,10 +188,17 @@ this file</a>.</p>
 </tr>
 </thead>
 
-</tbody>
+<tbody>
+
+<tr valign="top">
+<td>beefy<em>[1-4]</em></td>
+<td>Intel EM64T MP</td>
+<td>iXsystems iX1204, 2xIntel Xeon X5675 (6x2x3.07GHz), 96GB Memory,
+  4x300Gb SAS disks, Intel PRO/1000 NIC.</td>
+</tr>
+
 </tbody>
 </table>
--->
 
 <h2>Hardware configurations</h2>