#4664 Remove duplicate Promethium alarm tone

[White-Sand-Knight]

Refs #4664

Removes the duplicate Promethium alarm tone.

Promethium.ogg is byte-identical to Platinum.ogg (md5 01821ed2), and both carry the embedded title 'Platinum', so the alarm picker lists Platinum twice. Remove the duplicate file plus its build references in Android.bp, AllAudio.mk and AudioPackage8.mk.

Bug: GrapheneOS/os-issue-tracker#4664 Test: built for sdk_phone64_x86_64, verified on the emulator that the alarm picker shows a single 'Platinum' entry (17 unique oggs)

[muhomorr]

What happens if the duplicate was previously selected by the user as the current alarm tone?

[White-Sand-Knight]

What happens if the duplicate was previously selected by the user as the current alarm tone?

this use case was not checked let me check it out and get back to you.

[White-Sand-Knight]

@muhomorr It was checked using emulator that it does play the sound that is same as platinum after we removed the duplicate even if the duplicate was selected.

[muhomorr]

Which duplicate have you selected? They have different Uris on my device:

<select first Platinum>

% adb shell settings get system alarm_alert
content://media/internal/audio/media/211?title=Platinum&canonical=1

<select second Platinum>

% adb shell settings get system alarm_alert
content://media/internal/audio/media/214?title=Platinum&canonical=1

[White-Sand-Knight]

@muhomorr the ids got changed for me. but the deleted one is the one that points to the promethium.
adb shell settings get system alarm_alert content://media/internal/audio/media/139?title=Platinum&canonical=1

adb shell settings get system alarm_alert content://media/internal/audio/media/222?title=Platinum&canonical=1
the 222 id for me is the one that points to promethium and it is the second on in the gui (the second platinum)