To build a particular pc kernel (say 9pcdisk)

	cd /sys/src/9/pc
	mk 'CONF=pcdisk'

To install it in /386

	mk 'CONF=pcdisk' install