[PATCH 0/1] MR15: programs/winedbg: correctly read register values