[PATCH] x86: Work around gcc 4.2 over aggressive optimizer