HEADS UP - Kernel configuration file changes

[Matthew Dillon <dillon@xxxxxxxxxxxxxxxxxxxx>]

    Now that the CVS surgery is done please note that a full buildworld
    and buildkernel is required if you are using HEAD.  This sequence
    should suffice to update the system if you are using HEAD sources:

	[update your sources]
	make buildworld
	make buildkernel KERNCONF=<yourconf>
	make installworld
	make installkernel KERNCONF=<yourconf>

    Kernel configuration files in /usr/src/sys/config require a minor 
    modification.  Before there were two directives: machine and
    machine_arch, e.g.:

	machine         pc32
	machine_arch    i386

    Now there are three directives and the 'machine' directive has been
    reverted to its original definition.

	platform        pc32
	machine         i386
	machine_arch    i386

					-Matt
					Matthew Dillon 
					<dillon@backplane.com>