Re: [OpenBIOS] dead link?