Re: [OpenBIOS] [PATCH 2/2] implement convert_to_ints()