Ken McLaurin, Red Hat Inc.