Add device stuff for d2vzw (Galaxy S3) and lean kernel