FreeBSD Scheduling on Hybrid CPUs