[Starlingx-discuss] ipxe boot iso?