[PATCH] conf: Adjust hyperv tlbflush formatting