x86.c revbump