Update i387.h

update from www.kernel.org