Initial import of machdep_x86.h (will probably be factored out)