Correct DT_PPC64_NUM