[PATCH] x86-64: Prevent gcc 4 from optimizing away vsyscalls