Re: [Etherboot-developers] RE: Bug in etherboot 5.1.2rc7