Re: Bug in etherboot 5.1.2rc7