i386-x40 system register definition, incomplete