Further update of the i386 boot documentation