Re: [OpenBIOS] bug in toke?