# CONFIG_PPC_MEMTRACE is not set