Merge "[dice] Remove unused binary diced.microdroid"