Re: [OpenBIOS] Changing toke's default to from decimal to hex?