Or even FreeBSD, which works on EC2 now. It uses a different technique for scheduling, so this issue will not affect it.