Need to use newer ipxe kernel for HP boxes