[PATCH 6.12 456/590] tools/bootconfig: Fix the wrong format specifier