add no-vgic-timers_defconfig