[syslinux] Possible typo in syslinux.txt doc

[Shai Venter]

A 3rd option is missing, could it be that 4 was meant to be 3 ?


IPAPPEND flag_val                              [PXELINUX only]
            The IPAPPEND option is available only on PXELINUX.  The
            flag_val is an OR of the following options:

            1: indicates that an option of the following format
            should be generated and added to the kernel command line:

                        ip=<client-ip>:<boot-server-ip>:<gw-ip>:<netmask>

            ... based on the input from the DHCP/BOOTP or PXE boot server.

            NOTE: The use of this option is no substitute for running a
            DHCP client in the booted system.  Without regular renewals,
            the lease acquired by the PXE BIOS will expire, making the
            IP address available for reuse by the DHCP server.

            2: indicates that an option of the following format
            should be generated and added to the kernel command line:

                        BOOTIF=<hardware-address-of-boot-interface>

            ... in dash-separated hexadecimal with leading hardware type
            (same as for the configuration file; see pxelinux.txt.)

            This allows an initrd program to determine from which
            interface the system booted.

            4: indicates that an option of the following format
            should be generated and added to the kernel command line:

                        SYSUUID=<system uuid>

            ... in lower case hexadecimal in the format normally used for
            UUIDs (same as for the configuration file; see pxelinux.txt.)