scripts/gdb: cast CPU numbers to integer