I created my own device_selection.png. The rounded corners on the original weren't perfectly circular, and the thicknesses of the rounded corners and the circle at the bottom weren't consistent, so I made one that is cleaner. I made the circle a bit smaller with the intention of allowing for a slightly larger font for the device names, but since we can't specify the position of the device names, I don't know if the extra room will be of any use. I'm experimenting with increasing the distance from the row of red dots to the fonts, seeing if doing that will affect the position of the device names.
Edited to add: I tried adjusting the font. Because of the increased room in my version of device_selection.png, I stretched the font vertically by a couple of pixels. I also moved the fonts one pixel down, away from the red dots. This seemed to affect its position when displayed on screen, but I didn't make certain of that. Regardless, the font is well-centered when used with my device_selection.png.
While I was at it, I also fixed the tracking of the fonts. With the original, some fonts had space to the left, some to the right, and some had both, and the amount of space also varied 1-2 pixels. I rearranged all the fonts and red dots so that every character has one pixel of space to the left only. Text should look more evenly spaced now. I also made a little bit of an effort to darken parts of the font where I felt anti-aliasing made things worse instead of better, but then I got lazy and didn't do everything I wanted to do.
Apologies if the font looks narrow; I have a widescreen monitor and a video card that doesn't do VESA widescreen resolutions, and unlike with the device icons, I didn't try to make a "regular" version first.