ppc4xx: Fix problem in gpio_config()