docs
Navigating around the downstream kernel (BCM23550 Sony/Google androidsource.google.com 3.10 release)
This hasn’t been researched yet, but upon first glance it seems pretty similar to the 3.4 repos.