mach-msm: ppmu.h - file name space issue