[PATCH] ntdll: Handle 64-bit addresses in +seh traces.