# CONFIG_HAVE_PV_STEAL_CLOCK_GEN is not set
