[PATCH] winedbg: Accept hex values in command line