[OpenBIOS] [PATCH v2] implement convert_to_ints()