The Samsung Galaxy Nexus kernel source code - covers all variants