[PATCH] x86: Fix gcc 4.2 _proxy_pda workaround