Switch to slimmed down android-vendor-4.2 repo