3 ms·

Good point, thanks! I guess the RPi's special relationship with Broadcom is shining through a bit there, or something.