[PATCH] __user annotations for pointers in i386 sigframe