Re: [OpenBIOS] tokenizer bug