powerpc: e500mc: Fix: use CONFIG_PPC_E500MC in idle_e500.S