i386-x40 refactoring to a fully 40-bit model with an ISA execution model supporting i386