[SystemImager: si_mkdhcpserver] Fix also the options definitions.