Silence warning in libco/x86.c