# CONFIG_OMAP_GPMC is not set
