[U-Boot] [PATCH] ARMV7/Vexpress: add missing get_ticks() and get_tbclk()