powerpc/pseries: Add extended_cede_processor() helper function.