[OpenBIOS] bug in toke?