[U-Boot-Users] get_ticks() for AT91RM9200