Configuring ULTRIX 4.x kernel (was: Re: VAX 6400 booting saga: SUCCESS!)