[PATCH 6.13 492/623] tools/bootconfig: Fix the wrong format specifier