devel/android-tools-simpleperf: chase extras repacking
My mirror dates back to 2015-06-17, so this is probably GitHub fault.
> Attempting to fetch https://codeload.github.com/jbeich/platform_system_extras/tar.gz/android-7.1.2_r17?dummy=/jbeich-platform_system_extras-android-7.1.2_r17_GH0.tar.gz
> Fetched file size mismatch (expected 79621709, actual 79621715)
$ gzip -lv jbeich-platform_system_extras-android-7.1.2_r17_GH0.tar.gz
method crc date time compressed uncompressed ratio uncompressed_name
-defla 71937983 Jun 13 20:36 79621709 89620480 11.1% jbeich-platform_system_extras-android-7.1.2_r17_GH0.tar
+defla 0e1a4221 Nov 6 13:13 79621715 89620480 11.1% jbeich-platform_system_extras-android-7.1.2_r17_GH0.tar
Tested by: mtree -K sha256 (identical contents)