Update boot.ipxe

Small typo