Migrate more functions our of pxelinux.pl