Re: [OpenBIOS] Restoring BIOS