Some versions of GDB seem to be touchy when it comes to casting,
even if the memory contents is the same.

Change-Id: I9733863c20d3726397623fa593063aec0095e774
Reviewed-by: hjk <hjk121@nokiamail.com>