no_cpu/cpusmplock.h: Clean up to be compilable