x86: update Documentation/i386/boot.txt