[PATCH 5.15 156/620] tools/bootconfig: Fix the wrong format specifier