Re: [Libguestfs] [PATCH] src/launch: improve the addition of the no-hpet option