CONFIG_PARAVIRT_CLOCK=y
