Galaxy Nexus: Add KitKat support for the sensor drivers

Thanks to  Bernhard Rosenkränze