3 ms·

Thanks, I see the article has been updated (it stated ARM11 this morning), but too late to edit my comment.