gen-dtrace-probe-header: fixed the coding style in the output C header file.