Move Linux/ppc64 specific cpu_online() to os/os-linux.h