is this really necessary  in general  we prefer to use a timer that just starts counting from power on reset to aid with exact boot time measurements  is there no timer like that on the rk if not  you should probably define your own init function instead and call that from bootblock cpu init init timer is currently only called from hardwaremain c  which is in ramstage that s a little stupid and probably left over from trying to add arm support into the old x only coreboot  we should refactor it eventually  but for now you will have to hack around it  