Is Microsoft considering acquisition of Red Hat?