For future developers: you can now use media_drm_id to get a non-resettable, hardware-backed Android ID