Update notes for submitted changes

* gdb: use stdio functions to convert parameters