Where did those Linux numbers come from? And what service is 50-100% faster? Boot time? web-server? Playing unreal torny?