Re: getting new driver into kernel, boot.iso