Re: Open bios dev/bios bug report