On Wed, Feb 24, 2016 at 10:46:43PM +0100, luca abeni wrote: > > I arrived to the conclusion that for GRUB this is not a problem (but, > as usual, I might be wrong): GRUB just needs to track the per-runqueue > active/inactive utilization,
Ah! indeed, my bad.
