removed ppc32_register_additional_opcodes(), not needed anymore