4 ms·

I don't quite understand this, does it mean that Debian will no longer support 32-bit computers or is this something different?