CONFIG_VIRT_TIMER=n
