Use NXP Vybrid Global Timer

configname: CONFIG_VF_USE_ARM_GLOBAL_TIMER

NXP clocksource for scheduler clock
└─>Use NXP Vybrid Global Timer
In linux kernel since version 3.10 (release Date: 2013-06-30)
Use the NXP Vybrid Global Timer as clocksource.