AFAICT this refers to Debian support, the Linux kernel does support 32bit CPUs though only since the original Pentium (excluding some clones).