Add WITH_DEXPREOPT. Switch kernel to GCC 4.7.
Clean up Android.mk