Re: [PATCH] Update driverdisc.txt to inst.dd