memory writes via gdb don't work for memory mapped hardware