Re: Removing VAXBI and XMI boards