Add comment on cpumask not working with a CPU count > 32