Comment 6 for bug 1116451

ARM have found the issue also and have supplied a patch that should make it upstream very quickly:

http://sourceforge.net/mailarchive/forum.php?thread_name=000101ce0df8%24f050f110%24d0f2d330%24%40martin%40arm.com&forum_name=edk2-devel

I'll assign this defect to me know and take care of it in time for the 13.02 release.