Re: [OpenBIOS] devbios problems