* refactor x86 smi handler (put all debug stuff in an extra file smiutil.c)