# CONFIG_ARM_PL172_MPMC is not set
