x86: adjust types in smpcommon_32.c