powerpc/pseries: Pass more accurate number of supported cores to firmware