GDB: initial support for displaying registers