[HECnet] Auto-booting a MicroVAX 3400