From: Andi Kleen <ak@muc.de>

Fix a warning on x86_64 (and presumably ia64) which arises from casting an
int to a pointer.