Untested so far
[davej: but needed for some newer EM64T systems]
Signed-off-by: NAndi Kleen <ak@suse.de>
Signed-off-by: NDave Jones <davej@redhat.com>