build.7: Mention that KERNCONF can have more than one config.