Google promises quick fix for Android 4.2 “December” bug