Add installation script to boot iPXE from GRUB