and Linux stopped supporting 32bit x86 I think around the same time? (just i386?)