a script to reboot the host from pxe by using ipmi