Hi Jan and Kieran, maintainers of scripts/gdb/,CC: Leonard, most recent contributor to scripts/gdb/linux/dmesg.pyCould someone look at this fix please? Is there anything I shouldimprove in the code or the format of the contribution? Thanks.