ARM: 8072/1: time: Make use of arm_get_current_stackframe