current_stack_pointer missing on ARM and likely other arches