fix PPC 64 PIC register setup