spapr: export and rename the xics_max_server_number() routine