Where should we put implementation of interprocessor stuff?

[BarclayII]

I guess it's self-evident that the interprocessor stuff, including IPI, getting CPU ID#, etc., should be put in machine-specific directory (arch/$(ARCH)/asm/mach-$(MACH)/mach), rather than drivers directory.

Just for confirming. Close this issue if there's no disagreement.