[OpenBIOS] tokenizer bug