Michael Dell investoval do Red Hatu. Kerio Technologies na ministerstvu