Robuta

https://lkml.iu.edu/1309.0/01796.html Linux-Kernel Archive: Re: [PATCH] clocksource: em_sti: Set cpu_possible_mask to fix SMPbroadcast