atl1e: Use setup_timer