[HECnet] New network card in the Alpha, how do I reconfigure DECNET?