# CONFIG_VF_USE_PIT_TIMER is not set
