udev: use printf for hex conversion

Ubuntu 24.04 comes with a version of original-awk that no longer accepts
hexadecimal values [1], pipe the field to printf instead.

[1] https://github.com/onetrueawk/awk/blob/5c261eb19a5e92bb6d68e818cf575524067c1e6a/awk.1#L626-L628

udev/check.sh

@@ -1,12 +1,12 @@
 #!/bin/sh -u
 
-# Copyright (c) 2020 Yubico AB. All rights reserved.
+# Copyright (c) 2020-2024 Yubico AB. All rights reserved.
 # Use of this source code is governed by a BSD-style
 # license that can be found in the LICENSE file.
 # SPDX-License-Identifier: BSD-2-Clause
 
 sort_by_id() {
-	awk '{ printf "%d\n", $3 }' | sort -Cnu
+	awk '{ printf "%s\n", $3 }' | xargs printf '%d\n' | sort -Cnu
 }
 
 if ! grep '^vendor' "$1" | sort_by_id; then