Remove deprecated base_iprefs_get_int() and base_iprefs_set_int() functions