The Samsung Galaxy Nexus kernel source code. Covers all variants.