December’s Android Security Patch from Google Arrives