# CONFIG_GPIO_MPC8XXX is not set
