platforms/drm: Use dev nums to find gpus

This way we don't need to convert strings to ints every time
udev_device_get_sysnum() is called.