4 ms·

I think this is a bit short sighted. In the end, x86 will be replaced entirely, should openbsd just ditch it altogether?