In olden times someone trying to fix a BSD driver could have a peek at the GPL one, but that was gray area copyright wise (basically you would not admit it publicly for this reason). If a 850 billion USD company does it, then it's perfectly fine, it seems.