PPC: Fix incorrect port of 92926f5.