3 ms·

There's also the precedent of the several ARM Linux systems they shipped that tended to have much worse support.