# CONFIG_GPIO_MPC8XXX is not set